Сторона языка программирования, которая описывает структуру программ как наборов символов.
Зависимость и взаимодействие составляющих текста в соответствие с грамматикой, раздел лингвистики.
Раздел формальной логики, изучающий правильность построения выражений, безотносительно к тому, есть ли у этих выражений логические значения и если есть, то какие именно.
See more